Reference type

Results: 986



#Item
171Data types / Computer programming / Object-oriented programming / Primitive types / Programming paradigms / Type system / Subtype polymorphism / Soundness / Reference / Software engineering / Type theory / Computing

1 Syntactic soundness proof of a type-and-capability system with hidden state FRANÇOIS POTTIER

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2012-09-21 10:50:57
172C++ / C++ classes / Reference / Initialization / C / Pointer / Struct / Typeid / Type system / Software engineering / Computer programming / Computing

PDF Document

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2014-10-11 21:15:24
173Differential calculus / Ordinary differential equations / Generalizations of the derivative / Mathematical series / Derivative / Differential equation / Differential of a function / Algebraic number field / Bernoulli polynomials / Mathematical analysis / Mathematics / Calculus

PARI-GP Reference Card (PARI-GP versionNote: optional arguments are surrounded by braces {}. To start the calculator, type its name in the terminal: gp To exit gp, type quit, \q, or at prompt.

Add to Reading List

Source URL: pari.math.u-bordeaux.fr

Language: English - Date: 2014-03-22 13:13:45
174C++ / C programming language / Data types / Cross-platform software / Type theory / Reference / Pointer / C++11 / Restrict / Software engineering / Computer programming / Computing

Document Number: Revises: Date: Authors: Project:

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2014-10-13 03:15:38
175Procedural programming languages / Data modeling / C Standard Library / Printf format string / Relation / Database schema / ALGOL 68 / Attribute / Data type / Computing / Software engineering / Computer programming

The following document is patterned after (and much of it is copied directly from): Technical Report C90-01 September 1990 Center for Seismic Studies Version 3 Database: Schema Reference Manual

Add to Reading List

Source URL: anf.ucsd.edu

Language: English - Date: 2008-01-16 18:07:26
176Cross-platform software / Text editors / User interface techniques / Lisp programming language / Lisp / Incremental search / Regular expression / C / Shell / Software / Computing / Emacs

XEmacs Reference Card (for version 20.5+) Starting Emacs To enter XEmacs, just type its name: xemacs To read in a le to edit, see Files, below.

Add to Reading List

Source URL: tecfa.unige.ch

Language: English - Date: 2004-09-29 06:45:12
177Email / SMS / C++ classes / Array data type / Technology / Computing / Mobile technology

Web Services API Reference Manual rd Date Commenced:

Add to Reading List

Source URL: www.ozmedia.com

Language: English - Date: 2007-03-06 12:15:00
178Computing / Bibliography / EndNote / Computer file formats / Citation / Portable Document Format / Data type / BibTeX / RIS / Reference management software / Library science / Reference

ENDNOTE X7 For Mac MODIFYING REFERENCE TYPES AND OUTPUT STYLES

Add to Reading List

Source URL: www.crandon.com.au

Language: English - Date: 2015-04-15 02:26:52
179Medicine / Nutrition / Flavanols / Resorcinols / Phenolic compounds in tea / Gallocatechin gallate / Green tea / Insulin / Epigallocatechin gallate / Diabetes / Phenols / Biology

Green Tea may Alleviate Diabetes in Rodents Keywords: DIABETES MELLITUS TYPE 2 - Green Tea, EGCG, Epigallocatechin Gallate, Catechins, Polyphenols, Glucose, Insulin, Triglycerides, Cholesterol, Gluconeogenesis Reference:

Add to Reading List

Source URL: www.hoffmancenter.com

Language: English - Date: 2007-01-31 17:47:50
UPDATE